Add a commented-out sanity check for lazy fpu switching.

Signed-off-by: Keir Fraser <keir@xensource.com>

diff --git a/linux-2.6-xen-sparse/arch/xen/i386/kernel/process.c b/linux-2.6-xen-sparse/arch/xen/i386/kernel/process.c
index 3328dc94ff04b9d3aedb95b96151cb198cc80ff5..8625d6750f95645c4966f515ecb4a3f25628f296 100644 (file)
--- a/linux-2.6-xen-sparse/arch/xen/i386/kernel/process.c
+++ b/linux-2.6-xen-sparse/arch/xen/i386/kernel/process.c
@@ -483,6 +483,9 @@ struct task_struct fastcall * __switch_to(struct task_struct *prev_p, struct tas
                mcl->args[0] = 1;
                mcl++;
        }
+#if 0 /* lazy fpu sanity check */
+       else BUG_ON(!(read_cr0() & 8));
+#endif
 
        /*
         * Reload esp0, LDT and the page table pointer: